验证旋转矩阵是正交矩阵

2022 年 7 月 30 日 星期六(已编辑)
/ ,
53

验证旋转矩阵是正交矩阵

正交矩阵

正交矩阵是指其转置等于逆的矩阵,即 AT=A1A^{T} = A^{-1} 同理可得 ATA=IA^{T}A = I,则 AA 为正交矩阵。

特点:

  1. 正交矩阵每一列都是单位矩阵,并且两两正交。最简单的正交矩阵就是单位阵。
  2. 正交矩阵的逆(inverse)等于正交矩阵的转置(transpose)。同时可以推论出正交矩阵的行列式的值肯定为正负 1 的
  3. 正交矩阵满足很多矩阵性质,比如可以相似于对角矩阵等等。

正交矩阵是一个在三维坐标系中歪着摆的立方体。对角化就是把这个立方体摆正来(也就是让它某一个顶点放在原点上,同时这个顶点的三条边正好对在三维坐标系的xyz三条轴上) —— 花火同学(知乎)

旋转矩阵

旋转矩阵是在乘以一个向量的时候有改变向量的方向但不改变大小的效果并保持了手性的矩阵。

旋转矩阵是由旋转前后空间的两组基的内积得到,旋转矩阵是行列式为1的正交矩阵。旋转矩阵乘以向量后改变向量的方向,但不改变长度。 —— 蘑菇大将军(知乎)

证明思路:证明 RT=R1R^{T} = R^{-1}

[a,b,c]\begin{bmatrix}a, b, c\end{bmatrix}[a,b,c]\begin{bmatrix}a', b', c'\end{bmatrix} 为变换前后同一个向量的两个坐标值,变换两个空间的坐标基为 [e1,e2,e3]\begin{bmatrix}e_1, e_2, e_3\end{bmatrix}[e1,e2,e3]\begin{bmatrix}e_1', e_2', e_3'\end{bmatrix}

由于是同一个向量,在对应基表示下相等:

[e1,e2,e3][abc]=[e1,e2,e3][abc] \begin{bmatrix} e_1, e_2, e_3 \end{bmatrix} \begin{bmatrix} a\\b\\c \end{bmatrix} = \begin{bmatrix} e_1', e_2', e_3' \end{bmatrix} \begin{bmatrix} a'\\b'\\c' \end{bmatrix}

左乘 [e1,e2,e3]T\begin{bmatrix}e_1, e_2, e_3\end{bmatrix}^{T},左式由于基向量正交所以得到单位阵

[e1,e2,e3]T[e1,e2,e3][abc]=[e1,e2,e3]T[e1,e2,e3]T[abc] \begin{bmatrix} e_1', e_2', e_3' \end{bmatrix}^{T} \begin{bmatrix} e_1, e_2, e_3 \end{bmatrix} \begin{bmatrix} a\\b\\c \end{bmatrix} = \begin{bmatrix} e_1', e_2', e_3' \end{bmatrix}^{T} \begin{bmatrix} e_1, e_2, e_3 \end{bmatrix}^{T} \begin{bmatrix} a'\\b'\\c' \end{bmatrix}
[e1Te1e1Te2e1Te3e2Te1e2Te2e2Te3e3Te1e3Te2e3Te3][abc]=[abc] \begin{bmatrix} e_1'^{T}e_1 & e_1'^{T}e_2 & e_1'^{T}e_3 \\ e_2'^{T}e_1 & e_2'^{T}e_2 & e_2'^{T}e_3 \\ e_3'^{T}e_1 & e_3'^{T}e_2 & e_3'^{T}e_3 \end{bmatrix} \begin{bmatrix} a \\ b \\ c \end{bmatrix} = \begin{bmatrix} a' \\ b' \\c' \end{bmatrix}
R1[abc]=[abc] R^{-1} \begin{bmatrix} a\\b\\c \end{bmatrix} = \begin{bmatrix} a'\\b'\\c' \end{bmatrix}

当我们对 RR 求转置时,可得 RT=R1R^T = R^{-1}

RT=[e1Te1e1Te2e1Te3e2Te1e2Te2e2Te3e3Te1e3Te2e3Te3]T=[e1Te1e1Te2e1Te3e2Te1e2Te2e2Te3e3Te1e3Te2e3Te3]=R1 R^T = \begin{bmatrix} e_1'^{T}e_1' & e_1'^{T}e_2' & e_1'^{T}e_3' \\ e_2'^{T}e_1' & e_2'^{T}e_2' & e_2'^{T}e_3' \\ e_3'^{T}e_1' & e_3'^{T}e_2' & e_3'^{T}e_3' \end{bmatrix}^T = \begin{bmatrix} e_1'^{T}e_1 & e_1'^{T}e_2 & e_1'^{T}e_3 \\ e_2'^{T}e_1 & e_2'^{T}e_2 & e_2'^{T}e_3 \\ e_3'^{T}e_1 & e_3'^{T}e_2 & e_3'^{T}e_3 \end{bmatrix} = R^{-1}

参考文章:

  1. 旋转矩阵(Rotate Matrix)的性质分析
  2. 验证旋转矩阵是正交矩阵

使用社交账号登录

  • Loading...
  • Loading...
  • Loading...
  • Loading...
  • Loading...